Jonathan A. Hindley: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Lambda-Calculus and Combinators, an Introduction || Answers to starred exercises

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 187 KB

2008

2

Lambda-Calculus and Combinators, an Introduction || Simple typing, Church-style

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 161 KB

2008

3

On adding (ξ) to weak equality in combinatory logic

Bunder, Martin W., Hindley, J. Roger, Seldin, Jonathan P.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 400 KB

english, 1989

4

Lambda-Calculus and Combinators, an Introduction || Confluence proofs

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 168 KB

2008

5

Lambda-Calculus and Combinators, an Introduction || Strong normalization proofs

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 165 KB

2008

6

Lambda-Calculus and Combinators, an Introduction || References

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 140 KB

2008

7

Lambda-Calculus and Combinators, an Introduction || Preface

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 87 KB

2008

8

Lambda-Calculus and Combinators, an Introduction || The λ-calculus

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 200 KB

2008

9

Lambda-Calculus and Combinators, an Introduction || Combinatory logic

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 153 KB

2008

10

Lambda-Calculus and Combinators, an Introduction || The power of λ and combinators

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 160 KB

2008

11

Lambda-Calculus and Combinators, an Introduction || Representing the computable functions

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 198 KB

2008

12

Lambda-Calculus and Combinators, an Introduction || The undecidability theorem

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 108 KB

2008

13

Lambda-Calculus and Combinators, an Introduction || The formal theories λβ and CLw

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 123 KB

2008

14

Lambda-Calculus and Combinators, an Introduction || Extensionality in λ-calculus

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 121 KB

2008

15

Lambda-Calculus and Combinators, an Introduction || Extensionality in combinatory logic

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 145 KB

2008

16

Lambda-Calculus and Combinators, an Introduction || Correspondence between λ and CL

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 201 KB

2008

17

Lambda-Calculus and Combinators, an Introduction || Care of your pet combinator

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

Language:

english

File:

PDF, 99 KB

english, 2008

18

Lambda-Calculus and Combinators, an Introduction || Simple typing, Curry-style in CL

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 321 KB

2008

19

Lambda-Calculus and Combinators, an Introduction || Simple typing, Curry-style in λ

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 208 KB

2008

20

Lambda-Calculus and Combinators, an Introduction || Generalizations of typing

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 311 KB

2008

21

Lambda-Calculus and Combinators, an Introduction || Models of CL

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 136 KB

2008

22

Lambda-Calculus and Combinators, an Introduction || Models of λ-calculus

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 231 KB

2008

23

Lambda-Calculus and Combinators, an Introduction || Scott's D∞ and other models

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 271 KB

2008

24

Lambda-Calculus and Combinators, an Introduction || Bound variables and α-conversion

Hindley, J. Roger, Seldin, Jonathan P.

Year:

2008

File:

PDF, 112 KB

2008

25

MRI Guidance of Focused Ultrasound Therapy of Uterine Fibroids: Early Results

Hindley, Jonathan, Gedroyc, Wladyslaw M., Regan, Lesley, Stewart, Elizabeth, Tempany, Clare, Hynnen, Kullervo, Macdanold, Nathan, Inbar, Yael, Itzchak, Yacov, Rabinovici, Jaron, Kim, Kevin, Geschwind,

Journal:

American Journal of Roentgenology

Year:

2004

Language:

english

File:

PDF, 1.31 MB

english, 2004

26

Blood meal identification and parasite detection in laboratory-fed and field-captured Lutzomyia longipalpis by PCR using FTA databasing paper

Mauricio R.V. Sant’Anna, Nathaniel G. Jones, Jonathan A. Hindley, Antonio F. Mendes-Sousa, Rod J. Dillon, Reginaldo R. Cavalcante, Bruce Alexander, Paul A. Bates

Journal:

Year:

2008

Language:

english

File:

PDF, 913 KB

english, 2008

27

Biomimetic Hybrid Nanocontainers with Selective Permeability

Messager, Lea, Burns, Jonathan R., Kim, Jungyeon, Cecchin, Denis, Hindley, James, Pyne, Alice L. B., Gaitzsch, Jens, Battaglia, Giuseppe, Howorka, Stefan

Journal:

Angewandte Chemie

Year:

2016

Language:

english

File:

PDF, 1.24 MB

english, 2016

28

Case Report: Baskets in the Kidney: An Old Problem in a New Situation

Allen, Darrell, Hindley, Richard G., Glass, Jonathan M.

Journal:

Journal of Endourology

Year:

2003

Language:

english

File:

PDF, 51 KB

english, 2003

29

Biomimetic Hybrid Nanocontainers with Selective Permeability

Messager, Lea, Burns, Jonathan R., Kim, Jungyeon, Cecchin, Denis, Hindley, James, Pyne, Alice L. B., Gaitzsch, Jens, Battaglia, Giuseppe, Howorka, Stefan

Journal:

Angewandte Chemie International Edition

Year:

2016

Language:

english

File:

PDF, 1.30 MB

english, 2016

30

Focused ultrasound treatment of uterine fibroid tumors: Safety and feasibility of a noninvasive thermoablative technique

Elizabeth A. Stewart, Wladyslaw M.W. Gedroyc, Clare M.C. Tempany, Bradley J. Quade, Yael Inbar, Tilman Ehrenstein, Asher Shushan, Jonathan T. Hindley, Robert D. Goldin, Matthias David, Miri Sklair, Ja

Journal:

American Journal of Obstetrics and Gynecology

Year:

2003

Language:

english

File:

PDF, 1.38 MB

english, 2003

31

Interstitial laser coagulation for uterine myomas

Hindley, Jonathan T., Gedroyc, Wadyslaw M.W., Regan, Lesley

Journal:

American Journal of Obstetrics and Gynecology

Year:

2003

Language:

english

File:

PDF, 37 KB

english, 2003

32

Lethal photosensitization of Porphyromonas gingivalis by their endogenous porphyrins under anaerobic conditions: An in vitro study

Hope, Christopher K., Hindley, Jonathan A., Khan, Zeeshan, de Josselin de Jong, Elbert, Higham, Susan M.

Journal:

Photodiagnosis and Photodynamic Therapy

Year:

2013

Language:

english

File:

PDF, 889 KB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски